A Language for Manipulating Arrays

نویسندگان

  • Arunprasad P. Marathe
  • Kenneth Salem
چکیده

This paper describes the Array Manipulation Language (AML), an algebra for multidimensional array data. AML is generic, in the sense that it can be customized to support a wide variety of domain-specific operations on arrays. AML expressions can be treated declaratively and subjected to rewrite optimizations. To illustrate this, several rewrite rules that exploit the structural properties of the AML operations are presented. Some techniques for efl’icient evaluation of AML expressions are also discussed.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Impacts of Nanoparticles and Nano Rod Arrays on Optical Generation Rate in Plasmonic-Based Solar Cells

In this article, the effect of plasmonics properties of metal nanorods and nanoparticles on solar cell performance were investigated and simulated. Due to the classic solar cell disadvantages, it seems that a plasmonic solar cell is one of these methods. In plasmonic solar cells, because of plasmonic effect, a high electric field builds around metal nanoparticles so that high conversion efficie...

متن کامل

A Verifier for Functional Properties of Sequence-Manipulating Programs

Many programs operate on data structures whose models are sequences, such as arrays, lists, and queues. When specifying and verifying functional properties of such programs, it is convenient to use an assertion language and a reasoning engine that incorporate sequences natively. This paper presents qfis, a program verifier geared to sequence-manipulating programs. qfis is a command-line tool th...

متن کامل

DatalogA: Array Manipulations in a Deductive Database Language

In this paper the problem of extending the logic database language Datalog with primitives to support array definitions and manipulations is addressed. The syntax and the semantics of this language, called Datulo$, are given by showing that model theoretic properties of ordinary Datalog extend to DatalogA. DatalogA fixpoint semantics and its efficient implementation are also studied and present...

متن کامل

Language and spatial frames of reference in mind and brain.

Some language communities routinely use allocentric reference directions (e.g. 'uphill-downhill') where speakers of European languages would use egocentric references ('left-right'). Previous experiments have suggested that the different language groups use different reference frames in non-linguistic tasks involving the recreation of oriented arrays. However, a recent paper argues that manipul...

متن کامل

Array SSA for Explicitly Parallel Programs

The usefulness and applicability of the Static Single Assignment (SSA) framework is undisputed. SSA was originally crafted for sequential programs manipulating scalars, but it has been separately extended to parallel programs on the one hand, and to sequential programs with arrays on the other. In an Array SSA framework, arrays are precisely handled on an element-per-element basis. This paper p...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997